On the axiomatics of projective and affine geometry in terms of line intersection

نویسندگان

  • Hans Havlicek
  • Victor Pambuccian
چکیده

By providing explicit definitions, we show that in both affine and projective geometry of dimension ≥ 3, considered as first-order theories axiomatized in terms of lines as the only variables, and the binary line-intersection predicate as primitive notion, non-intersection of two lines can be positively defined in terms of line-intersection. Mathematics Subject Classification (2000): 51A05, 51A15, 03C40, 03B30.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Differential-geometric Characterizations of Complete Intersections

We characterize complete intersections in terms of local differential geometry. Let X ⊂ CPn+a be a variety. We first localize the problem; we give a criterion for X to be a complete intersection that is testable at any smooth point of X. We rephrase the criterion in the language of projective differential geometry and derive a sufficient condition for X to be a complete intersection that is com...

متن کامل

Sweep Line Algorithm for Convex Hull Revisited

Convex hull of some given points is the intersection of all convex sets containing them. It is used as primary structure in many other problems in computational geometry and other areas like image processing, model identification, geographical data systems, and triangular computation of a set of points and so on. Computing the convex hull of a set of point is one of the most fundamental and imp...

متن کامل

Affinization of Segre products of partial linear spaces

Hyperplanes and hyperplane complements in the Segre product of partial linear spaces are investigated. The parallelism of such a complement is characterized in terms of the point-line incidence. Assumptions, under which the automorphisms of the complement are the restrictions of the automorphisms of the ambient space, are given. An affine covering for the Segre product of Veblenian gamma spaces...

متن کامل

Affine connections, midpoint formation, and point reflection

It is a striking fact that differential calculus exists not only in analysis (based on the real numbers R and limits therein), but also in algebraic geometry, where no limit processes are available. In algebraic geometry, one rather uses the idea of nilpotent elements in the “affine line” R; they act as infinitesimals. (Recall that an element x in a ring R is called nilpotent if xk = 0 for suit...

متن کامل

Affine Connections, and Midpoint Formation

It is a striking fact that differential calculus exists not only in analysis (based on the real numbers R), but also in algebraic geometry, where no limit processes are available. In algebraic geometry, one rather uses the idea of nilpotent elements in the “affine line” R; they act as infinitesimals. (Recall that an element x in a ring R is called nilpotent if xk = 0 for suitable non-negative i...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003